Daniel Gonçalves < Daniel Gorin < Daniel Gorín | Facettes : |
List of bibliographic references indexed by Daniel Gorin
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
002E27 (2010-02-01) | Carlos Areces [France] ; Daniel Gorin [France] | Resolution with Order and Selection for Hybrid Logics |
003452 (2009-07-27) | Carlos Areces [France] ; Daniel Gorin ; Alejandra Lorenzo ; Mariano Perez Rodriguez | Testing Provers on a Grid - Framework Description |
003493 (2009-07-06) | Carlos Areces [France] ; Diego Figueira [France] ; Daniel Gorin ; Sergio Mera | Tableaux and Model Checking for Memory Logics |
003C97 (2009) | Daniel Gorin [France] | Automated reasoning techniques for hybrid logics |
005A84 (2005-03) | Carlos Areces [France] ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
006080 (2005) | Carlos Areces ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
006355 (2005) | Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Daniel Gorin"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \ -Sk "Daniel Gorin" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= indexItem |index= Author.i |clé= Daniel Gorin }}
This area was generated with Dilib version V0.6.33. |